Al涂层/AZ91镁合金复合铸造界面的研究

对型芯预喷涂一层Al涂层,将AZ91镁合金液浇注到铸型中实现基体和涂层的结合,对凝固后的结合界面组织和相组成进行分析。结果表明,AZ91镁合金液和Al涂层表面的氧化物发生反应,实现了界面间的润湿,形成冶金结合界面。该界面包含3个扩散层:镁合金基体一侧为(Al₁₂Mg₁₇+δ_Mg)共晶组织;中间层为Al₁₂Mg₁₇金属间化合物;Al涂层一侧为Al₃Mg₂金属间化合物,并弥散分布着一些氧化物。试验结果证明,通过复合铸造的方法可以实现Al涂层和镁合金基体的冶金结合。     

高原冻土地区公路边坡冻融稳定性及施工技术

以中国一带一路重点项目西藏自治区羊八井至大竹卡段公路改建工程为依托,研究了高原冻土地区公路边坡冻融稳定性及施工技术.采用有限元软件MIDAS-GTS NX建立边坡模型,运用强度折减法计算、分析了冻融循环前后公路边坡位移、应力及应变等力学特性的变化规律,并与施工现场检测数据进行对比分析.结果表明:边坡水平方向上的最大位移发生在坡趾位置,竖直方向上的最大位移发生在坡肩位置;经历冻融循环后,边坡水平位移、竖向位移分别增加1.91 cm和7.5 cm,且坡面破坏以竖向沉降为主;边坡水平和竖直方向上的最大应力均发生在坡底,并出现应力集中现象.结合工程特点及模拟分析结果提出减小冻土开挖深度、锥形坡面砌筑、拱式防护、仰斜式路肩墙、浸水路肩墙以及主动防护系统等防护措施,后期现场观测表明,冻融引起公路边坡失稳问题治理效果明显.将建模理论计算值和工程实测值进行比较分析,验证了本文方法的正确性.     

航空术语语义知识库ATHowNet的构建

语义知识库在自然语言处理的许多领域中起着重要的作用。现有的语义知识库主要面向常识知识,特定领域的语义知识库则很少。文章将知网(HowNet)的理论体系与概念表示方法扩展至航空领域,提出了一个航空领域术语语义知识库——ATHowNet,并介绍了构建过程。该知识库包含3700个概念、3959个概念关系和3864个术语。在航空术语相似度计算及词类比任务上应用与验证了ATHowNet,结果证实了其在航空领域概念语义描述及基于概念关系推理上的有效性。     

Post李超代数结构的性质

通过post李超代数的定义, 讨论post李超代数结构的基本性质, 给出post李超代数的一些存在性结果, 并利用post李超代数可构造LR超代数和左对称超代数, 给出交换post李超代数结构的相关结果.     

老旧机动车淘汰更新及补贴政策的成本有效性分析——以北京市为例

以氮氧化物和PM_2.5削减量为减排效果评估指标, 以车辆残值成本、政策执行成本、燃油成本节约为社会成本指标, 借助单位减排产生的社会成本(社会成本/减排量比值), 对北京市2011年6月至2020年12月老旧机动车淘汰更新及补贴政策的实施效果进行成本有效性分析。结果表明, 研究覆盖期内, 该政策的成本有效性并非单调递减, 而是呈现阶段性和结构性特点: 在重点淘汰柴油货车时期, 政策成本有效性最佳, 在重点淘汰国III汽油车时期, 成本有效性较差, 两者氮氧化物及PM_2.5单位污染物减排成本分别相差14倍和34倍; 随着车型拓展到更高排放标准, 淘汰小型客车的成本有效性呈下降趋势, 国III和国IV排放标准的小型客车减排潜力已较为有限, 且成本有效性远低于政策早期; 淘汰重型货车的成本有效性较高, 且在部分时期存在社会成本的节约。建议后续相关政策的制定应基于成本有效性, 审慎地将排放标准更高的小型客车纳入该政策管制范围, 应更关注重型柴油货车加速淘汰的政策设计优化。     

多弧离子镀制备的耐事故燃料包壳铬涂层晶粒结构研究

本文通过从几十微米到几埃的多尺度表征展示了多弧离子镀制备铬涂层的详细结构.经XRD, SEM, FIB, TEM和HRTEM表征，结果显示该涂层是一种多重结构，包括表面上的微米级颗粒、缺陷带钉扎的微米或次微米级液滴、以堆垛层错为晶界的柱状晶、以刃位错和螺型位错为区分的微晶、位错末端的原子畸变以及原子排列无序化的区域.这些结构通过改变涂层的结晶度，影响了晶格常数、表面粗化和FIB溅射裂纹.此外，通过分析HTEM照片，确定了这些堆垛层错和位错的类型.最后，讨论了沉积参数对这些晶粒结构的影响.     

基于动态博弈的补贴模式对机场群航线网络结构的影响研究

为探讨不同补贴模式对机场群航线网络结构的影响，本文构建了关于机场、航空公司和乘客之间的动态博弈模型，通过逆向归纳法得到了纳什均衡条件. 研究结果发现：（1）不同的补贴模式对多机场航线网络结构产生重要影响，低补贴模式促使机场群倾向于形成点对点航线网络结构，反之，在高补贴模式下机场群易于形成枢纽辐射航线网络； （2）在较低的空铁联运总运营成本环境下，补贴竞争使得航空公司倾向于选择系统内的大型机场作为枢纽机场；反之，如果空铁联运总运营成本相对较高，补贴竞争使得航空公司倾向于选择小机场作为枢纽节点； （3）随航班固定成本和空铁联运总运营成本的增大，大型机场作为枢纽节点的概率逐渐减少，而小机场被选为枢纽节点的概率将逐渐增大. 随着机场群内大型机场腹地服务人口比例的增大，航空公司选择点对点航线网络的概率在减小. 研究结论能够为民航管理部门科学制定和应用航线补贴政策提供决策依据.     

高原、生态与文化:《从地方性知识到生态文明》评介

范长风《从地方性知识到生态文明——青藏边缘文化与生态的人类学调查》一书,是一部探讨生活在青藏高原上的各族民众面对日益加剧的生态压力和生态环境问题时,如何借助地方性组织、运用地方性知识来保护高原生态环境的民族志.该书的出版对青藏高原的生态文明建设具有借鉴和启发意义.     

De Casteljau Algorithm and Degree Elevation of Toric Surface Patches

De Casteljau algorithm and degree elevation of Bézier and NURBS curves/surfaces are two important techniques in computer aided geometric design. This paper presents the de Casteljau algorithm and degree elevation of toric surface patches, which include tensor product and triangular rational Bézier surfaces as special cases. Some representative examples of toric surface patches with common shapes are illustrated to verify these two algorithms. Moreover, the authors also apply the degree elevation of toric surface patches to isogeometric analysis. And two more examples show the effectiveness of proposed method.     

面向重大科技攻关的科技动员模式

 结合科技动员思想，融入集成动员和科技创新理论，为集中军地优势科研力量，以信息技术为支撑，以业务组合为切入点，以业务总线为基础，以建立健全跨组织的工作模式为目标，提出重新配置科技资源和统一组织科技力量的科技动员模式--“顶层治理”“平台连接”和“载体落实”发展模式。通过这种模式，可为科技支撑应急资源超常规供给提供有力保障。